1. Formal Methods and Software Engineering
پدیدآورنده : / Shengchao Qin, Zongyan Qiu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Formal methods and software engineering :
پدیدآورنده : Shengchao Qin, Zongyan Qiu (edition)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
رده :
QA76
.
9
.
F67
I34
2011
3. Formal methods and software engineering. 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. proceedings
پدیدآورنده : ]edited by[ Shengchao Qin, Zongyan Qiu
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، software engineering
4. 16, 2010. Proceedings-Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15
پدیدآورنده : / Claude Gaudel (auth.), Shengchao Qin (eds.)-Ana Cavalcanti, Marie
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
5. 16, 2010. Proceedings-Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15
پدیدآورنده : / Claude Gaudel (auth.), Shengchao Qin (eds.)-Ana Cavalcanti, Marie
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
6. Unifying Theories of Programming
پدیدآورنده : / Shengchao Qin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
